The class of recursive functions over the reals, denoted by , was introduced by Cristopher Moore in his seminal paper written in 1995. Since then many subsequent investigations brought new results: the class was put in relation with the class of functions generated by the General Purpose Analogue Computer of Claude Shannon; classical digital computation was embedded in several ways into the new model of computation; restrictions of were proved to represent different classes of recursive functions, e.g., recursive, primitive recursive (...) and elementary functions, and structures such as the Ritchie and the Grzergorczyk hierarchies.The class of real recursive functions was then stratified in a natural way, and and the analytic hierarchy were recently recognised as two faces of the same mathematical concept.In this new article, we bring a strong foundational support to the Real Recursive Function Theory, rooted in Mathematical Analysis, in a way that the reader can easily recognise both its intrinsic mathematical beauty and its extreme simplicity. The new paradigm is now robust and smooth enough to be taught. To achieve such a result some concepts had to change and some new results were added. (shrink)

In the 1970s Codd introduced the relational algebra, with operators selection, projection, union, difference and product, and showed that it is equivalent to first-order logic. In this paper, we show that if we replace in Codd’s relational algebra the product operator by the “semijoin” operator, then the resulting “semijoin algebra” is equivalent to the guarded fragment of first-order logic. We also define a fixed point extension of the semijoin algebra that corresponds to μGF.

Jerzy Perzanowski s ideas were based on an original blend of logic and ontology in what he called onto/logic, where the slash is meant to suggest a quotient of ontology by logic. Perzanowski began as a logician, his early works being on modal logic, then gradually shifted his interest to logical philosophy, meaning not so much philosophy of logic as philosophy informed by logic. Perzanowski was a rare breed of analytical philosopher who thought that a philosophical theory of everything (...) was worthwhile. In this systematic spirit, he began with method. He presented his method of total analysis and synthesis quite simply: reduce the object of research to its simplest possible constituents, and then combine them in some way. Better still, combine them in every possible way, thereby producing a space of possibilities analogous to (and in certain cases identical with) the logical space. Thus, analysis and synthesis differ from a trivial disassembly and reassembly.". (shrink)

Chciałem Go pożegnać. Kilkakrotnie próbowałem napisać choć parę słów. O Nim samym. Okazało się, że nie potrafię. Udało mi się tylko przedstawić Jego poglądy na reizm Tadeusza Kotarbińskiego, ale uczyniłem to gdzie indziej. Muszę tu poprzestać na ofiarowaniu Mu tego, co napisałem na Jego dziewięćdziesiąte urodziny, w osiemdziesięciolecie naszej przyjaźni.

The idea of this paper is to explore the existence of canonical countably saturated models for different classes of structures. It is well-known that, under CH, there exists a unique countably saturated linear order of cardinality \. We provide some examples of pairwise non-isomorphic countably saturated linear orders of cardinality \, under different set-theoretic assumptions. We give a new proof of the old theorem of Harzheim, that the class of countably saturated linear orders has a uniquely determined one-element basis. From (...) our proof it follows that this minimal linear order is a Fraïssé limit of certain Fraïssé class. In particular, it is homogeneous with respect to countable subsets. Next we prove the existence and uniqueness of the uncountable version of the random graph. This graph is isomorphic to \,\in \cup \ni )\), where \\) is the set of hereditarily countable sets, and two sets are connected if one of them is an element of the other. In the last section, an example of a prime countably saturated Boolean algebra is presented. (shrink)

The so-called ‘type method’ widely employed in biological taxonomy is often seen as conforming to the causal-historical theory of reference. In this paper, I argue for an alternative account of reference for biological nomenclature in which taxon names are understood as descriptive names. A descriptive name, as the concept came to be known from the work of Gareth Evans, is a referring expression introduced by a definite description. There are three main differences between the DN and the causal account. First, (...) according to the DN account, rather than fixing a name to a referent, the assignment of a type specimen to serve as the name-bearer for a taxon should be seen as performatively establishing a synonymy between a name and a definite description of the form “the taxon whose type is t”. Each taxon name is therefore associated with a criterion of application, a semantic rule that establishes the connection between the name and the descriptive content. This is the second major difference from the causal account: taxon names do have some descriptive content associated with them. The final locus of dissent concerns the strength of the modality resulting from the usage of taxon names. In order to address this point, I use the DN account to focus on the debate between Matt Haber and Joeri Witteveen concerning misidentification of type specimens, misapplication of names, and the truth conditions of Joseph LaPorte’s de dicto necessary sentence “Necessarily, any species with a type specimen contains its type specimen”. Using a pragmatic variant of the distinction between attributive and referential uses of descriptions, I argue that a metalinguistic version of the de dicto sentence is in fact falsified, as previously argued by Haber. (shrink)

Science and Convention: Essays on Henri Poincare's Philosophy of Science and The Conventionalist Tradition contains essays concerned with Henri Poincare's philosophy of science, physics in particular, and with the conventionalist tradition in philosophy that he revived and reshaped, simultaneously with, but independently of, Pierre Duhem. Separating five essays as chapters, the book discusses the main ideas of the philosophy (Essays 1 and 5), traces at least some of its historical background (Essays 1, 2, and 3), and provides some of its (...) developments (Essays 2 and 4). (shrink)

W publikacji autor analizuje powszechność wdrażania określonych kategorii innowacji w przedsiębiorstwach funkcjonujących w krajach Unii Europejskiej. Analizy dokonano w dwóch przekrojach: 1) państw członkowskich Unii Europejskiej, 2) przynależności sektorowej przedsiębiorstw. Podstawą dla tej analizy są wyniki badań kwestionariuszowych przeprowadzonych w kwietniu 2009 r. przez the Gallup Organization wśród 5034 przedsiębiorstw. Respondentami byli przedstawiciele zarządów tych przedsiębiorstw. Celem publikacji jest dokonanie statystycznej analizy odpowiedzi respondentów na temat powszechności wdrażania innowacji.

Существенной переменной выражения исчисления предложений мы называем переме ную, значение которой при некотором сочетании значений других переменных влияет на значение целого выражения.

Contents: INTRODUCTION. Kazimierz TWARDOWSKI: The Majesty of the University. I. Zygmunt ZIEMBI??N??SKI: What Can Be Saved of the Idea of the University? Leszek KO??l??AKOWSKI: What Are Universities for? Leon GUMA??N??SKI: The Ideal University and Reality. Zygmunt BAUMAN: The Present Crisis of the Universities. II. Kazimierz AJDUKIEWICZ: On Freedom of Science. Henryk SAMSONOWICZ: Universities and Democracy. Jerzy TOPOLSKI: The Commonwealth of Scholars and New Conceptions of Truth. Klemens SZANIAWSKI: Plus ratio quam vis. III. Leon KOJ: Science, Teaching and Values. Klemens (...) SZANIAWSKI: The Ethics of Scientific Criticism. Jerzy BRZEZI??N??SKI: Ethical Problems of Research Work of Psychologists. IV. Janusz GO??L??KOWSKI: Tradition in Science. Jerzy KMITA: Is a "Creative Man of Knowledge" Needed in University Teaching? Leszek NOWAK: The Personality of Researchers and the Necessity of Schools in Science. RECAPITULATION. Jerzy BRZEZI??N??SKI: Reflections on the University. (shrink)

The idea of rejection of some sentences on the basis of others comes from Aristotle, as Jan Łukasiewicz states in his studies on Aristotle's syllogistic [1939, 1951], concerning rejection of the false syllogistic form and those on certain calculus of propositions. Short historical remarks on the origin and development of the notion of a rejected sentence, introduced into logic by Jan Łukasiewicz, are contained in the Introduction of this paper. This paper is to a considerable extent a summary of papers (...) which are not easily available, even to the Polish reader: (1) J. Słupecki, Funkcja Łukasiewicza (Łukasiewicz’s function), Zeszyty Naukowe Uniwersytetu Wrocławskiego, Seria B, nr 3 (1959), 33-40; (2) U. Wybraniec-Skardowska, Teoria zdań odrzuconych (Theory of Rejected Sentences), (doctoral dissertation under the supervision of Jerzy Słupecki, published as a monograph), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Monografie, Nr 22 (1969), 5-131; (3) G. Bryll, Kilka uzupełnień teorii zdań odrzuconych (Some supplements to the theory of rejcted sentences), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Mnografie, Nr 22 (1969), 153-154. The paper also contains a good number of results which have not been published yet. Chapter I contains results presented in the papers (1)-(3). It provides an extension of Alfred Tarski’s theory of deductive systems presented by him in the papers [1930]: Fundamentale Begriffe der Methodologie der deduktiven Wssenschaften, I and Über einige fundamentale Begriffe der Metamathematik. The enriched theory is marked with T. The most essential new concept in T is the function Cn-1, whose definition was given by Słupecki in (1) on the basis of the so-called Tarski’s general theory of deductive systems. It has the form: y e Cn-1X iff Ex e X (x e Cn {y}), where Cn is Tarski’s consequence operation. In accordance with the definition: A sentence y is rejected on the basis of the sentences of the set X iff at least one of sentences of X is a consequence of y (is deducible from y). The intuitive meaning of the rejection function Cn-1: on the basis of false sentences we can reject false sentences only (while by means of the consequence operation Cn on the basis of true sentences we can deduce true sentences only). The function Cn-1 is a generalization of the notion of rejected sentences which was introduced into logic by Łukasiewicz. The essential property of the rejection function Cn-1 is that it satisfies the axioms of general Tarski’s consequence Cn, so it is a consequence operation, called the rejection consequence. In addition, it is an additive and normal operation. In Chapter I, there are given notions analogous to those of the theory of deductive systems, but they are written down by means of the symbol ‘Cn-1’ and not ‘Cn’. There are established the properties of introduced notions and differences and analogies taking place between them and properties of respective notions of the theory T. There are also given generalizations of the notions of ‘decidable system’ and ‘consistent system’ used by Łukasiewicz. The short Chapter II contains axioms of the system T’ which is equivalent to the system T. The only difference between sets of primitive notions of these systems consists in the appearance of the function Cn-1 in the system T’ instead of the function Cn. This chapter reproduces the results given in (2), but they are partially simplified. (shrink)

The paper defends a dynamic view of reality which is founded on the assumption of the existence of the flow of time. This vindication makes use of a metaphysical theory of the flow of time developed by the author which is based on the notion of dynamic existence. It is shown that such a conception allows one to explain the fundamental phenomena connected with the flow of time, namely the continuous changing of the present, the endurance of things, and the (...) asymmetry of time. It is also argued that the proposed approach may be of some virtue for the empirical sciences because it explains the ubiquitous interest of scientists in the evolution of dynamic systems of different kinds, and provides us with an arrow of time which is lacking in theories describing fundamental physical interactions. The argument is advanced which aims to show that physics is unable to provide us with a theory of the flow of time and that we should look for such a theory in metaphysics. Thus, an approach to the relation between metaphysics and physics is vindicated that may help to overcome the difficulties blocking our understanding of reality as a dynamic one. (shrink)

Author: Sawicki Jerzy Title: THELEOGICAL PRINCIPLE IN KANT’S METHODOLOGY (Zasada teleologiczna w metodologii Kanta) Source: Filo-Sofija year: 2005, vol:.5, number: 2005/1, pages: 281-292 Keywords: KANT, THELEOGICAL PRINCIPLE, FINALISM, MECHANICISM Discipline: PHILOSOPHY Language: POLISH Document type: ARTICLE Publication order reference (Primary author’s office address): E-mail: www:The work contains a concise of I. Kant’s views on the problem of the laws of nature and the theleological principle presented in this context, which Kant proposes in the character of a regulative methodological postulate. (...) The analysis of fundamental philosophical notions (the law of nature, necessity, causality, purpose) carried out from the position of an extreme aprioristic rationalism leads Kant to the conclusion about the basic impossibility of educing the conception of purpose (in relation to nature) from aprioristic transcendental laws, ie. such laws which the theoretical reason imposes to the nature by necessity. However, the fact of a total functioning of an organism does not fit, according to Kant, into the frames of a mechanically understood causality. Kant tries to solve this problem choosing the way of conclusion by analogy and finally he suggests to introduce into the living nature a specific causal relation in which the purposes constitute a particular kind of causes and results at the same time. That conception oscillates between mechanicism and theological finalism, and the fitting of a science system into the frames of aprioristic categories does not permit a finally decide about the supremacy of one or the other way of seeing the world. However, nevertheless, the perceiving and stressing of the peculiarity of organic symptoms, the formulation of the postulate about their unreductability to the law of a mechanical type constitute unquestionable and great merit of the author of the Criticism of the Judgment Authority. The idea of the totality of organism, though involved in subjective idealistic non consequences of Kant’s conceptions has in the given historical period all features of a deep and progressive thought, outpacing and inspiring several later research ideas, both in philosophy and in natural science. (shrink)

Among numerous songs written by Wasowski and Przybora for the tv and radio show Old Gentlemen’s Cabaret two: Piosenka jest dobra na wszystko from the Fifth Evening of the Cabaret and Mambo Spinoza from the Eighth Evening might be considered autothematic. They represent an idea of ‘a song about a song’ — a common theme or motif in Polish popular music. In reaction to ideological degeneration of different forms of mass entertainment between 1949 and 1955, Wasowski and Przybora decided to (...) ‘redefine’ a song, writing these two pieces full of humour and allusions. (shrink)

We consider consciousness attributed to systems in space-time which can be purely physical without biological background and focus on the mathematical understanding of the phenomenon. It is shown that the set theory based on sets in the foundations of mathematics, when switched to set theory based on ZFC models, is a very promising mathematical tool in explaining the brain/mind complex and the emergence of consciousness in natural and artificial systems. We formalise consciousness-supporting systems in physical space-time, but this is localised (...) in open domains of spatial regions and the result of this process is a family of different ZFC models. Random forcing, as in set theory, corresponds precisely to the random influence on the system of external stimuli, and the principles of reflection of set theory explain the conscious internal reaction of the system. We also develop the conscious Turing machines which have their external ZFC environment and the dynamics is encoded in the random forcing changing models of ZFC in which Turing machines with oracles are formulated. The construction is applied to cooperating families of conscious agents which, due to the reflection principle, can be reduced to the implementation of certain concurrent games with different levels of self-reflection. (shrink)

This article is drafted on the basis of three complementary essays by Professor Jerzy Janik. The author takes a look at selected issues in the field of quantum mechanics – especially the problem of quantum superposition and supersymmetry – from perspective of great philosophical systems. The author draws attention to the fact that some of these issues reflect old philosophical problems, and – in some cases – philosophical perspective may save interpretations of quantum mechanics from paradoxes.

The aim of this paper is to make presentism a dynamic view of reality by basing it on a notion of dynamic existence, that is, on a notion of existence which has a dynamic character. The paper shows that both of the notions of existence which are used in metaphysical theories of time have a static character and, while such a notion is useful for eternalists, it is useless for presentists if they want to make their view able to remain (...) in agreement with our everyday experience and self-consistent. It is demonstrated that both empirical and theoretical arguments indicate that the presentist should replace the notion of this static existence with the notion of a dynamic existence and that this maneuver allows the presentist to treat his/her existential thesis as equivalent to the thesis that time flows. Not only does this strategy allow us to express presentism in a simple, homogenous way which remains in agreement with our experience, but also permits us to solve some of the difficult problems which presentism faces, such as, for example, the objection of triviality and the question about the rate of time passage. Moreover, such an approach to presentism allows us to solve fundamental metaphysical problems concerning time such as the problem of the openness of the future and the fixity of the past, direction of causation, and relations between presentism and persistence through time by endurance. (shrink)

The paper, which is a continuation if my earlier paper devoted to the problem whether there is the flow of time in science, analyses the possibility of the reunion of the idea of passage of time and the theory of relativity.

In [8] Jakowski defined by means of an appropriate interpretation a paraconsistent calculusD 2 . In [9] J. Kotas showed thatD 2 is equivalent to the calculusM(S5) whose theses are exactly all formulasa such thatMa is a thesis ofS5. The papers [11], [7], [3], and [4] showed that interesting paraconsistent calculi could be obtained using modal systems other thanS5 and modalities other thanM. This paper generalises the above work. LetA be an arbitrary modality (i.e. string ofM''s,L''s and negation signs). Then (...) theA-extension of a set of formulasX is {¦A X}}. Various properties ofA-extensions of normal modal systems are examined, including a problem of their axiomatizability. (shrink)

Jerzy Franczak comprehensively presents Jacques Rancière's thought by emphasizing the relations between politics and literature. The detailed analysis considers the context of modern aesthetics and political philosophy, which is why the book introduces further protagonists, such as Louis Althusser, Michel Foucault, Pierre Bourdieu, or Jean-François Lyotard. Franczak first reconstructs Rancière's original philosophy of literature so as to then immediately apply it in readings of select world literature masterpieces by Gustav Flaubert, Max Jacob, Bertold Brecht, Vladimir Nabokov, and Philip Roth.

The paper examines the relations between presentism and the thesis concerning the existence of the flow of time. It tries to show that the presentist has to admit the existence of the passage of time and that the standard formulation of presentism as a singular thesis saying that only the present exists is insufficient because it does not allow the inference of the existence of the passage of time. Instead of this, the paper proposes a formulation of presentism with the (...) aid of the notion of becoming; not only does a formulation state the existence of the flow of time in such a way as to avoid the question of the rate of the passage of time, it also allows the inference of the existence of only present things and events. The paper demonstrates that the proposed conception of presentism also has other virtues, such as homogeneity, non-triviality, and ability to express dynamicity of presentists’ image of the world which testify for it. (shrink)

Journal Name: Philologus Issue: Ahead of print.